imax($a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $a$ $\leq$z $b$ then $b$ else $a$ fi